Operatore di Sheffer

L'operatore di Sheffer, chiamato anche negazione alternativa (o incompatibile) o anche NAND, è uno dei due operatori introdotti dal matematico statunitense Henry Maurice Sheffer (l'altro operatore è NOR).

Tale connettivo vero-funzionale corrisponde, nel linguaggio naturale, a un utilizzo differente di "o" sia dalla disgiunzione esclusiva che da quella inclusiva. In logica matematica si indica con il segno "|" interposto tra le due lettere proposizionali (es. p | q); oppure, soprattutto in informatica, con la parola logica NAND, la quale corrisponde, appunto, a "negazione di and". Per questo motivo, la sua tavola di verità è complementare rispetto a quella della congiunzione.